Optimal. Leaf size=203 \[ \frac{6 B^2 n^2 (b c-a d) \text{PolyLog}\left (2,\frac{d (a+b x)}{b (c+d x)}\right ) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )}{b d}-\frac{6 B^3 n^3 (b c-a d) \text{PolyLog}\left (3,\frac{d (a+b x)}{b (c+d x)}\right )}{b d}+\frac{3 B n (b c-a d) \log \left (\frac{b c-a d}{b (c+d x)}\right ) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^2}{b d}+\frac{(a+b x) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^3}{b} \]
[Out]
________________________________________________________________________________________
Rubi [B] time = 0.590136, antiderivative size = 408, normalized size of antiderivative = 2.01, number of steps used = 14, number of rules used = 10, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.4, Rules used = {6742, 2486, 31, 2488, 2411, 2343, 2333, 2315, 2506, 6610} \[ \frac{6 A B^2 n^2 (b c-a d) \text{PolyLog}\left (2,\frac{d (a+b x)}{b (c+d x)}\right )}{b d}+\frac{6 B^3 n^2 (b c-a d) \text{PolyLog}\left (2,1-\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}-\frac{6 B^3 n^3 (b c-a d) \text{PolyLog}\left (3,1-\frac{b c-a d}{b (c+d x)}\right )}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}-\frac{3 A^2 B n (b c-a d) \log (c+d x)}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 n (b c-a d) \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 n (b c-a d) \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+A^3 x \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6742
Rule 2486
Rule 31
Rule 2488
Rule 2411
Rule 2343
Rule 2333
Rule 2315
Rule 2506
Rule 6610
Rubi steps
\begin{align*} \int \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^3 \, dx &=\int \left (A^3+3 A^2 B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+3 A B^2 \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+B^3 \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )\right ) \, dx\\ &=A^3 x+\left (3 A^2 B\right ) \int \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx+\left (3 A B^2\right ) \int \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx+B^3 \int \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right ) \, dx\\ &=A^3 x+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}-\frac{\left (3 A^2 B (b c-a d) n\right ) \int \frac{1}{c+d x} \, dx}{b}-\frac{\left (6 A B^2 (b c-a d) n\right ) \int \frac{\log \left (e (a+b x)^n (c+d x)^{-n}\right )}{c+d x} \, dx}{b}-\frac{\left (3 B^3 (b c-a d) n\right ) \int \frac{\log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{c+d x} \, dx}{b}\\ &=A^3 x-\frac{3 A^2 B (b c-a d) n \log (c+d x)}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}-\frac{\left (6 A B^2 (b c-a d)^2 n^2\right ) \int \frac{\log \left (-\frac{-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx}{b d}-\frac{\left (6 B^3 (b c-a d)^2 n^2\right ) \int \frac{\log \left (-\frac{-b c+a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{(a+b x) (c+d x)} \, dx}{b d}\\ &=A^3 x-\frac{3 A^2 B (b c-a d) n \log (c+d x)}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 B^3 (b c-a d) n^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \text{Li}_2\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}-\frac{\left (6 A B^2 (b c-a d)^2 n^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (-\frac{-b c+a d}{b x}\right )}{x \left (\frac{-b c+a d}{d}+\frac{b x}{d}\right )} \, dx,x,c+d x\right )}{b d^2}-\frac{\left (6 B^3 (b c-a d)^2 n^3\right ) \int \frac{\text{Li}_2\left (1+\frac{-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx}{b d}\\ &=A^3 x-\frac{3 A^2 B (b c-a d) n \log (c+d x)}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 B^3 (b c-a d) n^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \text{Li}_2\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}-\frac{6 B^3 (b c-a d) n^3 \text{Li}_3\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}+\frac{\left (6 A B^2 (b c-a d)^2 n^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (-\frac{(-b c+a d) x}{b}\right )}{\left (\frac{-b c+a d}{d}+\frac{b}{d x}\right ) x} \, dx,x,\frac{1}{c+d x}\right )}{b d^2}\\ &=A^3 x-\frac{3 A^2 B (b c-a d) n \log (c+d x)}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 B^3 (b c-a d) n^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \text{Li}_2\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}-\frac{6 B^3 (b c-a d) n^3 \text{Li}_3\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}+\frac{\left (6 A B^2 (b c-a d)^2 n^2\right ) \operatorname{Subst}\left (\int \frac{\log \left (-\frac{(-b c+a d) x}{b}\right )}{\frac{b}{d}+\frac{(-b c+a d) x}{d}} \, dx,x,\frac{1}{c+d x}\right )}{b d^2}\\ &=A^3 x-\frac{3 A^2 B (b c-a d) n \log (c+d x)}{b d}+\frac{3 A^2 B (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{3 A B^2 (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{3 B^3 (b c-a d) n \log \left (\frac{b c-a d}{b (c+d x)}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )}{b d}+\frac{B^3 (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )}{b}+\frac{6 A B^2 (b c-a d) n^2 \text{Li}_2\left (\frac{d (a+b x)}{b (c+d x)}\right )}{b d}+\frac{6 B^3 (b c-a d) n^2 \log \left (e (a+b x)^n (c+d x)^{-n}\right ) \text{Li}_2\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}-\frac{6 B^3 (b c-a d) n^3 \text{Li}_3\left (1-\frac{b c-a d}{b (c+d x)}\right )}{b d}\\ \end{align*}
Mathematica [A] time = 0.279521, size = 378, normalized size = 1.86 \[ \frac{3 A B^2 n (b c-a d) \left (2 n \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right )-\log \left (\frac{b c-a d}{b c+b d x}\right ) \left (-2 \log \left (e (a+b x)^n (c+d x)^{-n}\right )+2 n \log \left (\frac{d (a+b x)}{a d-b c}\right )+n \log \left (\frac{b c-a d}{b c+b d x}\right )\right )\right )+3 B^3 n (b c-a d) \left (2 n \text{PolyLog}\left (2,\frac{d (a+b x)}{b (c+d x)}\right ) \log \left (e (a+b x)^n (c+d x)^{-n}\right )-2 n^2 \text{PolyLog}\left (3,\frac{d (a+b x)}{b (c+d x)}\right )+\log \left (\frac{b c-a d}{b c+b d x}\right ) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )\right )+3 A^2 B d (a+b x) \log \left (e (a+b x)^n (c+d x)^{-n}\right )-3 A^2 B n (b c-a d) \log (c+d x)+3 A B^2 d (a+b x) \log ^2\left (e (a+b x)^n (c+d x)^{-n}\right )+B^3 d (a+b x) \log ^3\left (e (a+b x)^n (c+d x)^{-n}\right )+A^3 b d x}{b d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 2.737, size = 0, normalized size = 0. \begin{align*} \int \left ( A+B\ln \left ({\frac{e \left ( bx+a \right ) ^{n}}{ \left ( dx+c \right ) ^{n}}} \right ) \right ) ^{3}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} 3 \, A^{2} B x \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right ) + A^{3} x + \frac{3 \,{\left (\frac{a e n \log \left (b x + a\right )}{b} - \frac{c e n \log \left (d x + c\right )}{d}\right )} A^{2} B}{e} - \frac{B^{3} b d x \log \left ({\left (d x + c\right )}^{n}\right )^{3} - 3 \,{\left (B^{3} a d n \log \left (b x + a\right ) - B^{3} b c n \log \left (d x + c\right ) + B^{3} b d x \log \left ({\left (b x + a\right )}^{n}\right ) +{\left (B^{3} b d \log \left (e\right ) + A B^{2} b d\right )} x\right )} \log \left ({\left (d x + c\right )}^{n}\right )^{2}}{b d} - \int -\frac{B^{3} b c \log \left (e\right )^{3} + 3 \, A B^{2} b c \log \left (e\right )^{2} +{\left (B^{3} b d x + B^{3} b c\right )} \log \left ({\left (b x + a\right )}^{n}\right )^{3} + 3 \,{\left (B^{3} b c \log \left (e\right ) + A B^{2} b c +{\left (B^{3} b d \log \left (e\right ) + A B^{2} b d\right )} x\right )} \log \left ({\left (b x + a\right )}^{n}\right )^{2} +{\left (B^{3} b d \log \left (e\right )^{3} + 3 \, A B^{2} b d \log \left (e\right )^{2}\right )} x + 3 \,{\left (B^{3} b c \log \left (e\right )^{2} + 2 \, A B^{2} b c \log \left (e\right ) +{\left (B^{3} b d \log \left (e\right )^{2} + 2 \, A B^{2} b d \log \left (e\right )\right )} x\right )} \log \left ({\left (b x + a\right )}^{n}\right ) - 3 \,{\left (2 \, B^{3} a d n^{2} \log \left (b x + a\right ) - 2 \, B^{3} b c n^{2} \log \left (d x + c\right ) + B^{3} b c \log \left (e\right )^{2} + 2 \, A B^{2} b c \log \left (e\right ) +{\left (B^{3} b d x + B^{3} b c\right )} \log \left ({\left (b x + a\right )}^{n}\right )^{2} +{\left ({\left (2 \, n \log \left (e\right ) + \log \left (e\right )^{2}\right )} B^{3} b d + 2 \, A B^{2} b d{\left (n + \log \left (e\right )\right )}\right )} x + 2 \,{\left (B^{3} b c \log \left (e\right ) + A B^{2} b c +{\left (B^{3} b d{\left (n + \log \left (e\right )\right )} + A B^{2} b d\right )} x\right )} \log \left ({\left (b x + a\right )}^{n}\right )\right )} \log \left ({\left (d x + c\right )}^{n}\right )}{b d x + b c}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (B^{3} \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right )^{3} + 3 \, A B^{2} \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right )^{2} + 3 \, A^{2} B \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right ) + A^{3}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (B \log \left (\frac{{\left (b x + a\right )}^{n} e}{{\left (d x + c\right )}^{n}}\right ) + A\right )}^{3}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]